Nuprl Definition : top
9,38
postcript
pdf
Top ==
x
:!Void().!Void()
latex
Definitions
x
:
A
.
B
(
x
)
,
!Void()
FDL editor aliases
top
origin
x:!Void().!Void() x:!Void().!Void() x:A.B(x)